Merge from mainline.
authorPaul Eggert <eggert@cs.ucla.edu>
Fri, 14 Jan 2011 21:12:57 +0000 (13:12 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Fri, 14 Jan 2011 21:12:57 +0000 (13:12 -0800)
commit4338c9d4903068a2df4a9222dffdf2f5718cdc01
tree5e43416da5517eebbb2876111ebf9655aacb6e63
parenta4a19f25a8ab7b4038ca2a901c3fef03c45c6226
parentc2d0e4eec95bc855b6b30a2007be5281bfc88033
Merge from mainline.
ChangeLog
make-dist